https://dasbestelexikon.de/sv/wiki/Kurt_Gödel